1. Computer scince logic : 13th International Workshop, CSL' 99 : 8th annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
پدیدآورنده : Jorg Flum, Mario Rodriguez-Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1683
2. Einführung in die mathematische Logik
پدیدآورنده : Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematische Logik
3. Finite model theory
پدیدآورنده : by Heinz-Dieter Ebbinghaus, Jorg Flum
موضوع : Model theory,Finit groups
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
E23
1999
5. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Model theory
رده :
E-BOOK
6. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
E23
1999
7. Parameterized complexity theory
پدیدآورنده : Flum, Jorg.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computational complexity,، Algorithms
رده :
QA
267
.
7
.
F58
2006
8. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Topological spaces,، Model theory
رده :
QA
611
.
3
.
F55
1980
9. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Topological spaces,، Model theory
رده :
QA
3
.
L28
no
.
769
10. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Topological spaces,، Model theory
رده :
QA
3
.
L28
no
.
769
11. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Topological spaces,، Model theory
رده :
QA
3
.
L28
Vol
.
769
